Maybe he is calculating the speed of each core as a single core?
Someone responsible should tell him it doesn't work like that before he embarrasses himself.
But that sounds right. 3.2/2=1.6 and 3.9/2= 1.95, which is close enough to 2GHz taking into account rounding and a slightly off base clock.
Anyway, he should have a gander at this:http://www.tomshardware.com/forum/284126-28-showing-correct-speeds
But if the second measurement was also while the CPU was loaded, then we have an issue.