minor docs edit.