Giving more Unicode output (missing in previous commit 93c2eaf)