Fix to document header