Minor changes for publication to WG14