Fixes a minor typo.

Minor typo in the PDF documents repaired.