also restore the header.html code that had been commented out