fixed pretty printing bug