Release 3.4.2

hopefully fix the latest round of bot bugs.