slight docs fix