Fix semantics of stay_there.