Corrections on formulas and debug notes