minor cleanups to a few calls do Execution::DoThrow (no need for template arg)