minor doc tweak