Version bump 0.4.2