Minor docs fix.