Update convex.mod