a few more minor doc updates