Fix infinite loop in docsetutil-read-docset

introduced in last change to it.