fix mistake in get_filenames()