make pretty printing a little prettier