Fixing an English translation.