Fixing defs formatting