Fix assumption that the sequences are in the same case