Add dfn tags