Another docs tweak