Oh -- good to know.  It definitely would be preferable to use that.