minor docs edit