Add missing brace in docs/optimization.html