Fix two WEB DDoc macros