More fixes in the documentation