DistributedExecutionEngine bugfixes