pretty printing now goes to a file