very minor doco changes.