Yes I think that's it, the same thing happened over the summer with another PR. I'll see if I can find it.
Everything I post is from my own DD and in no way is a recommendation to buy or sell a stock. Please do your own DD and decide if this stock is right for you. Thank you and good trading.