Add some corrections and additions to the documentation.