minor doco fixes