some progress in prittyprint