Block comments only colored if opening comment token followed by non-newline

[spiffytech]

After upgrading to db5b534 I see that block comments are now only colored correctly if followed by something other than a newline.

(*
commented code
*)

Is commented incorrectly, but

(* some characters
commented code
*)

is.

[kongo2002]

Hi,

you are one hell of a tester! Thanks a lot! 64aec60 should fix that issue

Cheers, Gregor