updated diffgeom