small changes in the docs