You are correct on that point. But I believe pissant already conceded that, and it was his second claim (that the commutation preceded the withdraw of appeal) that I was checking.
Which actually leads me to an interesting conclusion: Bush should just commute the sentences . . . Ramos is certainly deserving.