Removed obsolete header