More fixes to the docs