More changes in the docs...