Minor: redundant term

Additionally... for additional documentation.