Fix unhandled exception in pretty-printing