fix utf-8 output of non-ascii symbols