Delete double dot in PDFs