That's correct, these domains are now reverting back to the new .ORG Registry once expired/dropped. They may show as "available to register" at first blush at some of the Registrars (notably Register.com), but they are out of circulation. It's also the reason why their values have raised somewhat recently, as well.