Minor changes to the docs