[DFDL-WG] small spec issues