fix typographical error in "file specificity"