corr. of typos, syntax and minor semantics