Minor changes to pretty printing