Fix bug in pretty printing