Minor docs fix for e11ccc76.