fixing weird file encoding issue