HALO: format fix