fiddling with pretty printing