docgen: minor changes

1 files changed, 2 insertions, 2 deletions

diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg
index 742217e59..2a6ace4d8 100644
--- a/config/nimdoc.cfg
+++ b/config/nimdoc.cfg
@@ -1289,14 +1289,14 @@ function togglepragma(d) {
 
 function main() {
   var elements = document.getElementsByClassName("pragmabegin");
-  for (var i = 0; i < elements.length; ++i) {
+  for (var i = 0; i < elements.length; ++i) {
     var e = elements[i];
     e.onclick = function(event) {
       togglepragma(event.target.nextSibling);
     };
   }
   var elements = document.getElementsByClassName("pragmaend");
-  for (var i = 0; i &lt; elements.length; ++i) {
+  for (var i = 0; i < elements.length; ++i) {
     var e = elements[i];
     e.onclick = function(event) {
       togglepragma(event.target.previousSibling);