fixes in the docs