fixing notations mistakes