Very minor corrections to documentation