cleaned halt()