Some minor fixes in the docs