Update def.md