fix glitch in documentation: only named lists are accepted for devtools.desc