Fix typo in Assert.
Fix same typo as in previous commit.
Fix the same old Assert bug.
Fix some bugs and extend the characterisation of coefficients.