small correction on generated filenames.