Fix small bug in judge statistics export