Improve pretty printing of maps