Avoiding some encoding issues with ISO-8859-1