Looks like he'll be pocketing that $11.5 million bonus.