Remove dead pretty-printing code that is duplicated anyway.
Remove dead pretty-printing code