More changes to the documentation