Fix documentation of the dmt.ini file