Minor fix in xml2sqlite script: it is not mandatory to give a probability distribution a name.