missing import of sequence