fix bad encoding