Small changes in English version.