Version 3.4.2 released