tiny tweak to destroy_if_running()