This was previously incorrectly tokenized, because it was recognized as the start of a documentation comment.