typo in halt