small correction in definitions