Fix typo in pretty-printing