Fixes to header.html