Fix bug in doc_set constructor