Bug fix release version 3.4.2