Update: version number
Merge branch 'release/v0.4.2' into develop