Fixed CSeq Bug