Downloading files from Dropbox Public Folder

I have been trying to set up a download of a file from my Dropbox public folder. The download works fine, but it appends the characters

";

to the end of the filename in my downloads folder. I have checked with a .pdf file from a site other than dropbox and the same behaviour doesn’t happen there; the filename is correct. I have tried xml files, txt files and pdfs in my dropbox and they all have the same result with the extra characters, so I can only presume that it is something to do with Dropbox’s public folder setup and not the filetypes. Is this worth reporting as an issue? I am not sure whether it is…

The format of the public url is https://dl.dropboxusercontent.com/u//