Fixing David-DM link