Small docs tweak