tiny changes in the docs