Fix ContestIP bug in submission.php