Actually correct pretty printing