Formulation and typos