If the same song occurs twice, I'd put a "1" and "2" after the titles. (It's not a "bug" - just like you can't have two files with identical names in a folder on your computer.)