Corrected halt test