Dr. Anthony Fauci, one of the leading members of the White House coronavirus task force, had surgery to remove a growth.

The director of the National Institute of Allergy and Infectious Diseases underwent the procedure on Thursday morning to remove a polyp on his vocal cord, according to CNN. The network’s chief medical correspondent, Dr. Sanjay Gupta, said that Fauci had general anesthesia and that doctors had encouraged him to stop talking to let his vocal cords rest. He also said that Fauci had told him he was “doing OK” following the procedure.