FIX stupid bug in checking duality gap