Removing an obsolete comment.