Minor tweak to header