as I recall the rules, an embeeded ball through the green (which includes the green) can be lifted, cleaned and placed and the area can be repaired. So I think you did the right thing.
_________________________
Golf is a game that can't be won, it can only be played - Bagger Vance