Fix an import error with mrs.py.