More fixes to document