Correct read_file import in 'rest.py'