One more derp fix in Halo

Change-Id: Iffb4dedf978a5a1b1f06aa95f17407b0b64c519f