Amended the fix for #22085: just use double backticks.