fixed some more notation used in the definitions