Remove gunk from prettyprinting of concat().