Galaxy Nexus OTA update: Did the version number change?

I could have sworn that the Android version on my Galaxy Nexus was 4.0.1 when it arrived last week.

Now we've had an OTA but my version number is the same.

Assuming they pushed the update to deal with the OS level parts of the 2g volume issue, how come the OS version number did not change? Screenshot_2011-12-06-00-36-39_medium


Of course, I never made note of the previous build number. That has to have changed, right?