Give proper halting on bad input