Update docs

This PR puts the docs in sync with the latest version