A bit tweaks on redundancy.