Don't name arenas after their leaders anymore.