bugfixes for sequence operator