Docs tweak.