minor typo: redundant term