Revert "HALO again"

This reverts commit 06b61a462b10fdc8656f06b463a41675020ffb1d.