Minor pdf doc changes