fix some notations and typos