More fixes to documentation