Minor fixes in the docs