Simple fix to make sure that the final SpecExec count is correct