diff --git a/js/anchorlinks.js b/js/anchorlinks.js
index 1e73ea92d7..8307fe68e3 100644
--- a/js/anchorlinks.js
+++ b/js/anchorlinks.js
@@ -5,7 +5,7 @@
for (var i = 0; i < hs.length; i++) {
h = hs[i];
if (h.id != null && h.id.length > 0) {
- h.insertAdjacentHTML('beforeend', '¶')
+ h.insertAdjacentHTML('beforeend', '¶')
}
}