source encoding changed to UTF-8