De acordo com o boletim clínico publicado no site dos encarnados, Gabriel sofreu uma "entorse do joelho direito, com lesão do ligamento lateral externo"..Os campeões nacionais não informam do tempo de paragem do médio, que foi substituído aos 82 minutos, por Chiquinho, que viria a marcar o quinto golo da partida disputada no Estádio Algarve.