TCU shouldn’t have had time to get the kick off