diff --git a/Installation/changes.html b/Installation/changes.html
index 811f0ade56c..d60ed4ad8f6 100644
--- a/Installation/changes.html
+++ b/Installation/changes.html
@@ -227,6 +227,9 @@ and src/ directories).
(re)compute circumcenters and sliver criterion values only when
needed.
+