Some changes to mine tool