Some minor updates to the documentation.