That's apparently a bug - please remove the superflous "%d" from printf.