Yep, fly got it right. Other people will take a double half-hitch around the saddle horn.
But the proper way is to keep it looped in your belt so that when you get off (or fall off) it comes with you and you don't have to take the added time to unwrap/untie it.