A minor simplification: no functional change.