check_file() corrections