Bugfixes in ExecutionControl.