Fixed #393 -- mark this state in the lexer correctly