minor typo
minor typo: redundant term