Correction of a filename mentioned in README.txt.