diff --git a/mode/properties/properties.js b/mode/properties/properties.js
index 9da5baf420047d92f4bc5059d9a31cf695c6b0b6..ef8bf37eea030d2b49c43b087c212fb4e9868c08 100644
--- a/mode/properties/properties.js
+++ b/mode/properties/properties.js
@@ -34,7 +34,7 @@ CodeMirror.defineMode("properties", function() {
       }
 
       if (sol) {
-        while(stream.eatSpace());
+        while(stream.eatSpace()) {}
       }
 
       var ch = stream.next();