Lexer now discerns between regular comments and doc comments, so use that. The change only affects the choice of reported errors.