Add missing closing defs tag