Fix: a code specialization bug and a list comparison bug.