Slight style change in Lexer::next()