Minor changes in the docs