minor edit to remove redundancy