SPARK-1096, a space after comment start style checker.