Implement abort() correctly

Fixes #2.