NFL needs to change OT rule