removed an obsolete comment