diff --git a/_CoqProject b/_CoqProject
index f5c3e7567eb3e3c93a3df6d61c6755f10cc2ff9d..9cbba4e996950f7d4da246f83f23f0c51630a560 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,5 +1,5 @@
 -Q theories stdpp
-# "Declare Scope" does not exist yet in 8.9
+# "Declare Scope" does not exist yet in 8.9.
 -arg -w -arg -undeclared-scope
 
 theories/base.v