Detect aborted case correctly