some doc corrections