This comment is now out of date. And the new code could do with a comment explaining why it exists: i.e. it's just an optimisation and makes no functional difference.