Fix a little bug in the single-line comment regex reported by Julien