Fix bad format char in error msg (%s should be %d).

Keep gcc -Wall happy.