Minor documentation change
Updated header.tex for doxy v1.8.8 & rebuilt docs