NXP-12743: format