change code to process UTF-8 encoding, even though it does not seem to matter