more typoes.
fixed typoes. some comments about notations.