Football Marvin Harrison Jr. toughing out ankle injury might have made the difference at Notre Dame