fixed issues with zellers congruence