#51:isa, line 4: Type mismatch
.. called from #176:update_rankings, line 6
.. called from #160:do_show_top update_rankings (this == #157), line 2
.. called from #160:do_endgame (this == #157), line 36
.. called from #160:endgame (this == #157), line 12
(End of traceback)