HALT now works without arguments; thanks @kpj for the idea