Some corrections in the manual