fix printing of unicode values