NFL OT needs to change