fix printf