===> Cleaning for tex-typehtml-doc-2009