[spec] corrections in double angle formulas