minor doc tweak.