minor doco update