minor docs fix.