Very minor docs tweak