===> Cleaning for arena-0.9.13