Earlier mistakes: files internally had mixed character encodings. Now ... -> iso...