fixing the pretyprint