diff --git a/index.html b/index.html
index ca8acc9..9618c0d 100644
--- a/index.html
+++ b/index.html
@@ -121,7 +121,7 @@ and the complete documentation in HTML format).
diff --git a/web/index.html b/web/index.html
index ca8acc9..9618c0d 100644
--- a/web/index.html
+++ b/web/index.html
@@ -121,7 +121,7 @@ and the complete documentation in HTML format).