fix signature of Stack::WaitFor