don't throw away a rparen token