Correct, this is already the case because there is no transition from `failed` to anything, but adding this is fine.