The chief judge for the U.S. Court of Appeals for the Tenth Circuit declined to initiate a formal sexual harassment complaint in 2017 into then-U.S. District Judge Carlos Murguia after he completed “medical treatment” in response to the claims, according to an order released Tuesday.

The information was revealed by the Judicial Conference’s Committee on Judicial Conduct and Disability in an order concluding their probe into Murguia’s conduct due to his resignation last month.