fix printf usage