Interesting.  I think that is worth commenting explicitly since that is non-obvious.  :)  I will do that.