Billionaire tech mogul Elon Musk posted Monday on his social media site that he had “deleted” 18F, a government agency that worked on technology projects such as the IRS’ Direct File program. This led to some confusion about whether Direct File is still available to taxpayers, but the free filing program is still available, at least for the coming tax season.

While Musk’s tweet may have intimated that the group of workers had been eliminated, an individual with knowledge of the IRS workforce said the Direct File program was still accepting tax returns. The individual spoke anonymously with The Associated Press because they were not authorized to talk to the press.