Puppy jumping on bigger dog. Dog stressed

We got a puppy (9 week old M) 2 weeks ago and our 5 year old dog (F) has been warming up to him. She has been initiating play and having fun with him. However, he keeps jumping on her. You can see in this video the second her body language changed and she was no longer having fun. Typically, we will immediately pick up the pup when he jumps, but is there any way to help train him to stop jumping on other dogs? We know how to address this behavior with jumping on people, but it’s been different with dogs. I understand our older dog is just setting her boundaries, but I also don’t want it to escalate.