quick bugfix where arena gets reset twice after game has ended; update to 1.7.2