Small changes to the docs