removed void cast in do_spawn()