Merge "Fix an incorrect format specifier in printf"