A few corrections to documentation.