minor correction in readFile