Update DEVEL.md