removed an old irrelevant comment.