Added comment header for make_file_name().