Fix typo: "has be aborted"