Version number bumped to 3.4.2