Minor update to doc PDFs.