fixing bad encoding