small bugfix regarding abort button