prettyprinting fix for a special case of parenthesization
Merge pull request #34 from xeno-by/master

prettyprinting fix for a special case of parenthesization