More fixes to doc.