Fix a compiler warning about a %d mismatch.