minor change to improve efficiency (remove some redundancy)