Fix bug in mining console