Correction on double-and-add formula