Fixed up mati.py