Bug report for Convex