small notation corrections in definitions