you appear to be correct.  :)