Bug fix in minimization