It looks like if you try to assign `None` to `MPIConfig.comm`, it will retain its old value instead of being set to `None`. Is that intended behaviour? If so, why is it intended?