Minor fix to the format specifier