diff --git a/index.html b/index.html
index 52c6f0b..ca8acc9 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 52c6f0b..ca8acc9 100644
--- a/web/index.html
+++ b/web/index.html
@@ -121,7 +121,7 @@ and the complete documentation in HTML format).