thinking about it some more, I don’t get this change: it seems more proper to me to add a `recover` clause to deal with the `isTerminated` situation (if it somehow does not really matter) or to fix it for real as I suggest; this code looks more like a leaky band-aid—but I might be missing something (in which case it is lacking a comment)