No big deal. it would be in the same category as any other missed penalty during a game. The officials are charged with enforcing the rule. If they miss calling a penalty that is just the breaks of the game. The game is a closed issue. If the film revealed, that Alabama was guilty of holding on a key play but it was not called, we would not be having this discussion.