Minor correction in the PDF documentation for set finite, poly