Long version

Typos  in 1.1--1.4