minor mod

Removed obsolete declaration