fix incorrect printf string