Fix david-dm comment