Updating: fixing a glitch in filename-processing.