Further updates to the documentation.