Small tweak to header