fix bad doco.