Updated version number from 0.4.1 to 0.4.2