Fixing a minor bug preventing safe execution from working.