Brief edit to W3C