Removed obsolete definition