Fixed a bug of syntax definition of sequences.