From 6696d997c7a162a00d39713844ca63341f554449 Mon Sep 17 00:00:00 2001
From: Roger Z <the.roger.zou@gmail.com>
Date: Thu, 3 Dec 2015 15:49:16 -0500
Subject: [PATCH] whitespace and capitalization

---
 docs/toc.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/toc.js b/docs/toc.js
index be89bc43c7e91..d2a743aaf7f89 100644
--- a/docs/toc.js
+++ b/docs/toc.js
@@ -115,7 +115,7 @@ function godocs_nodeToText(node) {
   for (var j = 0; j != node.childNodes.length; j++) {
     var child = node.childNodes[j];
     if (child.nodeType == TEXT_NODE) {
-      if (child.nodeValue != '[Top]') { //ok, that's a hack, but it works.
+      if (child.nodeValue != '[Top]') { // Ok, that's a hack, but it works.
         text = text + child.nodeValue;
       }
     } else {