mining bug solved