Why wouldn't "Badtitle" be translateable here?
See the message's documentation: "Do not translate quoted (or enclosed in ) examples in this message".