small edit to the docs