minor bugfix in judge