Reorder requirement in abort() to be more sensible. Remove tabs because they suck.