Fix a warning about a %d not getting an int (on some platforms).