Fixed up some HTML header stuff.