diff --git a/src/JSON/ConcreteSyntax.SpecProperties.dfy b/src/JSON/ConcreteSyntax.SpecProperties.dfy
index 81ecf4e2..4e5889f8 100644
--- a/src/JSON/ConcreteSyntax.SpecProperties.dfy
+++ b/src/JSON/ConcreteSyntax.SpecProperties.dfy
@@ -4,7 +4,7 @@
 include "ConcreteSyntax.Spec.dfy"
 
 module {:options "-functionSyntax:4"} JSON.ConcreteSyntax.SpecProperties
-  // Some useful properties about the functions used in `ConcreteSyntax.Spec`.
+// Some useful properties about the functions used in `ConcreteSyntax.Spec`.
 {
   import opened BoundedInts