Typos

Correction of some typos, plus some small details added.