Fix bug in displaying of inexactly matched judges