Version bump (Release 0.4.2)