fix weird encoding issue