Okay, I'm posting this so nobody else gets screwed... The problem text fails to mention something very important: comments cannot be nested ! In other words, this:

(* blah blah (* blah blah *) blah blah *)

is not a representation of a comment inside another, i.e. (* can appear inside a comment without marking the beginning of another comment.

Hope this helps.