Some improvements (MUMPS, warnings, etc.).