One last bugfix: inconsistent minimization