Repair definition of normal mu-term.