another docs tweak