minor straightening of nextToken()