Fix up to publish as W3C Note.