tiny little fix to get arxiv upload working

... command line with pdfTeX 3.1415926-2.4-1.40.13