Re: PATCH for "Parenthesization bug"