Oh man, that stinks. If that's true, I just messed up my models. At least, for now. I don't really use the models anyway so this isn't too big of a deal.
As for the Mario tag: I think that's because someone's actually making an improved version of the old Mario and Jeck Jims added the tag in...