Fixed encoding issues with ABC