fix sign of regularization term in optimization users guide