Minor edit to documentation