Corrections for bump to 0.42.0

Incrementing the version file was not done in the
previous commit.