and one (hopefully final) doc tweak