Minor minimizer fix.