The Astros announced a lengthy slate of post-deadline moves Friday. Houston reinstated shortstop Jeremy Pena from the injured list and designated infielder Zack Short for assignment. The Astros also activated newly reacquired Carlos Correa and fellow trade acquisitions Jesus Sanchez and Ramon Urias, adding all three to the active roster.

In corresponding roster moves, Infield prospect Brice Matthews and outfield prospect Jacob Melton were optioned to Triple-A Sugar Land. The ’Stros also recalled righty Nick Hernandez to take the roster spot of righty Ryan Gusto, who was traded to the Marlins in the Sanchez deal. Finally, right-hander Nick Robertson was outrighted to Triple-A after clearing waivers. He’d been designated for assignment earlier in the week.

Pena wound up missing more than a month due to a fracture in his ribcage. He was in the midst of a breakout, MVP-caliber season prior to landing on the injured list. The 27-year-old has slashed .322/.378/.489 (143 wRC+) with 11 homers, 18 doubles, a triple and 15 steals in 350 plate appearances. He was also playing Gold Glove-caliber defense at shortstop, generating plus marks from Defensive Runs Saved (7) and Outs Above Average (4). He’ll return to his customary shortstop, while the newly reacquired Correa will slide over to third base in deference to the young shortstop who he mentored during the pair’s prior overlap in the Astros organization.

As for Short, he’ll be placed on waivers within the next five days now that the trade deadline has passed. He’s appeared in 22 games and taken 56 plate appearances with just a .220/.291/.380 output to show in that small sample. The 30-year-old Short has appeared in parts of five big league seasons and is a .172/.271/.296 hitter in 594 trips to the plate as a major leaguer. He’s a solid defender at multiple infield positions but is out of minor league options, so he’ll either clear waivers or have to stick on the major league roster of another club that claims him.