They did sell shares but their percentage holding also decreased because unlisted options were converted to shares so the company now has more total shares on issue.