Yeah, you’re right. 4.2 is the weighted, 4.0 is the unweighted (mixed the two up in the process of calculation)