Did the Astros make a mistake in trading José Siri?

After that deadline trade I can't stop thinking about the Astros making a mistake in trading José Siri I feel like they should've traded Jake Myers instead of him Jose Siri has a better arm, more power and faster. Now Jake Myers doesn’t have a good arm in Harley hits home runs or get on base and is not as fast a Siri.at the same time I kind of know why they traded José Siri. I don’t think Dusty Baker liked him after that game versus the Mets when he hit a home run bat flip and stared at it when it was 8 to 1 or 8 to 2 I can’t remember the score and in the press conference Dusty Baker said it’s unacceptable and could cause a player to get hit intentionally I think ever since that game Dusty Baker wanted to get rid of him and I think the trade deadline was the best way to do it. But let me know your opinion on this. (Btw as I’m writing this Jake Meyers hit a home run to make it 6 to 5 vs the cubs, he really shut me up with that lol)