fix format specifier in diagnose printer