fix printf specifier