Some updates to the documentation.