Non-insane pretty printing