Check in some doc corrections