More fixes to doc