more fixes from the doc