Use ISO encoding due to section symbol problems