Grammar

chschulte · chschulte · commit 7be50dcb95d2 · 2018-10-23T09:38:11.000+02:00
diff --git a/documentation.html b/documentation.html
@@ -58,7 +58,7 @@ <h3>Reference Documentation</h3>
   </ul>
   
   <p>
-    We kindly ask that documentation is not installed anywhere in
+    We kindly ask that documentation be not installed anywhere in
     such a way that it will be indexed by search engines.
   </p>
 
