0.4.2: updated version number to reflect recent fixes