Coach Pop’s all-time record gets adjusted from last season to his overall win total.