could call abort() instead of these two new lines.