Minor corrections to documentation.