Minor docs tweak 2