minor doco fix