Fix compilation error due to incorrect printf usage