Mishandled COMMENT_OR_DIV in presence of EOF prevented us from detecting
an improperly closed multi-line comment.
Fixes #23.