pretty-printing works again