Fix up encoding issue