Formatting fix courtesy of Thomas Wouters
Record an alternate parenthesization proposal