mint-arena: Fix warning in last commit