Updated warning for DLV