(Finsert_file_contents): Fix previous change.