Tom,

Sorry it took me so long to get back you...last week was a tough one for us in more ways than one! Regarding your question, you're exactly right on your assumptions. I'll add your change to the next update with an appropriate homage to the name of Tom Kim!

Thanks,