Use concise way to get next token.

Per @keradus.