corrections in definitions