i've seen that convention before, but hadn't previously understood its purpose.  thanks!