> Is that a cut-n-paste error, or intentional? This is absolutely a "cut-n-paste error". Please submit a WG ballot comment to fix this. Good catch, Shimon.