Minor docs tweak.