What??? That doesn't seem right. When buys his shares, he owns...

What??? That doesn't seem right. When buys his shares, he owns them and should be entitled to the options, no matter whom he bought them of and the short seller would have to deal with the options matter and buy them on market for the rightful owner and sell them to him for 1c. That's like buying second grade shares otherwise and just a lucky dip when you buy.
Bit like a dividend, you short a share, dividend comes up and you have to pay it.