Some doc corrections