Fix some pretty-printing