Update mantisshrimp.py