Several typos in mcsolve.py fixed.