Made abort() a bit more responsive.