removed obsolete while