Fixes a redundancy mismatch bug