more mining fixes