Some updates to the docs