TRIVIAL fix in get_files_of_other_node