(Minor fixes)
Tagging the 4.2.0 release