What does this entry (`Result filenames`) document?  There does not appear to be a subsequent member here.