Bumps version to 0.4.2. #73 and #71