Fixed bug in judge.php with regards to sorting.