fix some encoding problem in this file