Notations corrected