added corrected formula in design doc