They use the VWAP for the 5 days AFTER the dividend record date so in effect the discount is the size of the dividend.