latex -> pdflatex; other slight changes