Cleanup code in arbitrarios