fixes stated grammar for block comments...

... by adding Kleene '+' in two places, and changing a "non-slash" into "non_slash_or_star".

Closes #1588