Remove extraneous `abort`