small fix to konvex def