Minor fixes in the docs

I have signed the CLA