tweaks to Execution/SignalHandlers