more mining stuff
Minor changes and fixes. Mining stuff
Some more mining, minor fixes