Minor fix to judge UI