Documentation erratum.