Add missing header.tex
Implement changes discussed during 2014-02-09 phone meeting.