I fixed a minor formatting issue in pdf doc.