correct weird encoding