little cosmetic change under process_file() method