fix another encoding issue