Moving #2447 (congruence) to fixed.
#3828 is solved.