Minor: Clarified Michaelwicz minimization.