Comment by binlog

Read the whole thing again. They aren’t complaining about the 15,625 shares (which they presumably sold a long time ago) but the remaining 25,000–15,625.