Various changes (see commits)

This pull-request includes the previous pull request's commit ("typos fixed, clarifications")