Added tag 0.4.2 for changeset 516c8e7c834e