#3: fix mining script