Looks short to me.
I had to replace the short flexible end on one of my cars.
Found them to be pretty standard, so used extenders. They are bendable to stay in a handy position.
So if you find the ones you get are short, it’s easy to fix.
To be clear. They were bolted in. Not used as extenders.
Thanks for the Tip. I would be interested in a Kit, with belt ends like the ones you posted a pic of. Any one know of a link to something like what I’m talking about