minor doc corrections