Fix another silly execution-related bug.