Fixing error in sjudge