Undo game can mess up players list under 'manage players'

Scenario:

• start a new table
• add five players (one, two, three, four, five)
• log 'prop&cop' for players one and two
• delete player one
• undo last game

Expected behavior: Scores are reverted, but player one should still be marked as gone

Actual behavior: The scores are corrected as expected, but player one is shown again as active in the players list

This is confusing, because player has disappeared from the drop down boxes you can use to log games (as it should).