fix spurious print and use utf8 here