Well, that's a pity then. Because if they bought back and retired the shares, the O/S should have decreased.