Remove a redundant dot in PDF file name