Fix typo in _mine() docstring in master.py