minor docs fix