ERRATUM: The article published in the print and online editions of this page on June 16, “Warning issued against over-regulating open-pit miners,” is hereby retracted, after feedback from the source that the quotes were mischaracterized.