Various changes in english user manual