more work on pretty printing