fix problem with wrong encoding