Fix ArenaSettings from previous merge