Fixed some mistakes in the English translation. Fixed a name error in one case.