Before 5d305d86, this comment was
correct, but now it says we do something which we don't actually do.
Accordingly, remove the comment.