Version 0.4.2 minor release