Re: possible bug in Eq of packedStrings