More fixes in the documenation