Added import of Sequence to doctests