Tweaked an obsolete comment.