Minor docs fix