Fix set-counting bug in end game