And this was before the big rise of last week..
It's pretty small anyway, just over 1% of outstanding shares.