more work on pretty printing maps