more doco fixes