use the nicer Unicode output