Unify spelling of NotCongruent, update reference to file.