The equation is wrong but the answer is correct. If you weren't using a stroker crank, you would still use a .5 mm gasket. So, with the .5 gasket and add 1.5 + .5 =2 mm for the 4 mm stroker you are in the ballpark, but still need to degree port timings and check squish.