Some more updates to the documentation.