Made some corrections in English translation