fix printf style.