CRM-13072 further tweak on example formatter