#document error #highlighted correction #errata note #mistake fixed #revision mark #official correction