removed obsolete declaration