we should do a `Exceptions.propagateIfFatal(e)` here as well.