Some small improvements.#3692

alexanderguzhva wants to merge 1 commit intofacebookresearch:mainfacebookresearch/faiss:mainfrom

alexanderguzhva:addons_to_hnswalexanderguzhva/faiss:addons_to_hnswCopy head branch name to clipboard