diff --git a/Contrib/InstallOptions/Install Options.html b/Contrib/InstallOptions/Install Options.html
index 8466a6a0..4bc6c8c6 100644
--- a/Contrib/InstallOptions/Install Options.html
+++ b/Contrib/InstallOptions/Install Options.html
@@ -288,7 +288,7 @@ Here is a little example:
History: