Update a few pieces of the documentation.