Minor erratum.