Fixes for seq impl