Fix Rare Incorrect Verdict Bug

[roehrt]

We love DOMJudge, it is arguably the best programming contest jury system, driven by a dedicated and talented community. Nevertheless, in a recent contest our team encountered a very rare bug yielding unexpected verdicts. We identified the source of the error and propose a simple fix in this PR.

[meisterT]

Wow, that must have been a hell of a debugging session :-D

[roehrt]

Well, it was worth a try :)