I fixed a minor bug in pdf format documentation.