Modifications to Mining.py