Fix typos in mining references