fix a few minor doc corrections