Version change 0.4.1 -> 0.4.2