correcly implement strings as UTF-8