Fix bug in pretty-printing.
It works! Yay!