The change happened under new leadership at the SEC since Donald Trump took office and has not been made public.