That's correct. I typed this up too quickly. Aside from this error, the rest seems okay. Not that it matters much as far as most are concerned: they don't see a difference between the two. 68.238.110.56