Some corrections and additions to the documentation.