Minor corrections to documentation