Correcting a mistake in the formulas