prettyprinting fix for a special case of parenthesization