#3: fix loop checking mining tools