Agreed, but I'll remove the option regardless.
Okay, here are the revised rules for Mario:
Previous I said that once Bowser died, Mario became non-hittable by the Mafia. I think perhaps that makes Mario a bit too strong, so I'm going to revise the role to say that when any member of the Mafia who ISN'T Bowser places a hit on Mario, the hit will be successful, but that Mafia member will be killed in the process.
I'll send PMs to the Mafia & to Mario to notify them of this rule change and update the rules post.