a few corrections and additions to documentation