Fix associativity in pretty-printer