Minor cleanup (fix a redundancy)