Error when changing formatted cardtype card+issues

You can't change the cardtype of a hard right formatted card -- that's as it should be. Problem is the error message is mishandled, so you see the actual javascript.