minor docs tweak