its record could have been 10-3 instead of 8-5.