In the early PM45 days that was quite common. Sometimes they didn't machine in that little radius at all and the gun just basically machined it's own while shooting.
I'd do just what you suggested and just stone that little radius. I thought most of the new one had them cut in and all finished.
Don't hurt a thing and it would be fine if you did nothing, but will look better and be more pleasing if you clean it up some.
In Memory of Paul "Dietrich" Stines.
Dad: Say something nice to your cousin Shirley
Dietrich: For a fat girl you sure don't sweat much.
Cue sound of Head slap.
RIP Muggsy & TMan
"If you are a warrior legally authorized to carry a weapon and you step outside without that weapon, then you become a sheep, pretending that JOCKO will not come today."