More fixes to docs.