Was MLB's punishment for the Astros...