Remove workaround for a bug in the document.