Fix minor bug that may cause an NPE in the ArenasManager