doc corrections