Apparently not well enforced so it's possible they were still buyback shares. Also they could have entered the buy earlier in the day and it just filled later. Hopeful!