Update mut.py