fix sequent name