Fix judge_davey bug