You're right Dave, they do apply corrosion to r2, but they also apply it to the Th or Tb terms before calculating Ts as well, which again in the code are defined as nominal (resulting in a very conservsative value of stress).