Minor docs tweak