Halo: remove old options