David doc corrections