Fixing quantitative optimization