also for ActorInitializationException? (which is the only change wrt. the default which matters)