bugfix in judge