Restore missing header