Bugfixes for DistributedExecutionEngine