Small improvements to ShieldedSeq.