after #1335 this must be a WrappedTerminated again