The bonus is based on his earnings LAST YEAR. He was not paying you child support last year. That bonus is considered part of his compensation for 2013, a part that you are entitled to a portion of as you were still married throughout 2013.
Going forward, his annual income is calculated based on his income and average bonuses. That's the number used for child support.
My H and I split in January, and when his annual bonus came in in March for the previous year, he had to give me half.
Now, I understand WHY he feels it is double dipping. He's thinking of the bonus as part of THIS year's income instead of LAST year's income. But in the eyes of the court (and the IRS) that bonus money was earned in 2013.