Turn the carrier and see if the other side was done......or remove it all and pull the gear.
There is nothing wrong with removing only the amount of tooth you need to.
I do it all the time in diffs where you must and have no other options, and i have hundreds of them out there that are just fine, however i wouldn't expect everyone to know how to remove only whats needed and do it correctly where you remove it enough that the cross pin comes out and is so close
1995 Jeep gc ltd, 2005 Jeep gc ltd , 71 Dart, 73 RR 440-6pk, 78 Mag GT, 85 Power Ram W-350, 92 Daytona, 99 Dakota, 08 Ram 2500
Less than 8 is like playing with half a deck
Long Island Motorsports Association