Game 119390798, turn 9/10. I played a Tireless Governor that turn and also got an Avoid, I end my buy phase, the Tireless Governor gets set aside, then the Avoid triggers and I choose three cards to put into my discard pile. There are four cards left in my deck at this point. I draw them, but the for some reason another shuffle doesn't get triggered, the Tireless Governor goes on top of my deck, and I start my next turn (turn 10) with only four cards in hand. I don't know where the problem is but I've checked thoroughly for something else that would cause this and I'm not seeing it. I'm pretty sure there's a bug and my guess is that it's with the Avoid code.