NFL: fix overtime game clock