fix minor issues in mining and running