Similar to the previous note, the placeholder text specifies 'x1234', though no formatting is actually enforced. That results in 'Ext. x1234'. That might actually be okay, though.