Hacks for the header