fix FileReader.read()