Fixed an issue with a domjudge scrip.