Remove obsolete part of comment. It was cut and pasted from the old version of
this function, and was never relevant to the new version.