Minor corrections to the 4.2.0.CR1 blog