fix Whale headers