They are SEC filing. Probably already filed the name change with FINRA. OTCMarkets doesn't matter anymore if they are now filing via EDGAR.