Use unicode

Unicode output would be nicer, as long as it's one line.