Minor clarification in LibDmi