Deleted extra obsolete comment.