Correction to doco.