Minor changes of the notations used