fix weird character encoding problem