I figured the extra shares were retired, I just wasn't sure how many were retired. Maybe the numbers in the suit would explain if I took some time to do the math.