Minor improvements in ShieldedSeq.