Small corrections in the manual