fix stupid encoding problem