Add a supplementary explanation to notifyAbort