another doc tweak