error augmented so that it supports "aborted by user"