Non-Hausdorff_manifold loading ...