Fixed up incorrect calls to read_file().