minor tweaks to Sequence<>