changed the file encoding to UTF-8