Fix use of wrong format specifier