Fix deadlock in match-result display