pretty printing done (for now)