minor edit to document