JudgeSim: Hotfix 1.4.3

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