Fixes in the docs