fixed some notations