Version 3.4.2 released

Fix two small bugs