Correction of the English translation (thanks to Francisco).