fix an error in judge