Fixing some generic equalities in Micromega.