Version bump v0.4.2, fixes #83