Disk byl původně ve FAT 32, pak jsem ho neuváženě přeformátoval na NTFS /ne úplně korektně, ten úbytek místa po smazání souboru by tam asi neměl být/ a potom jsem zjistil, že pokud ho budu chtít připojit např. k DVD přehrávači s USB vstupem, bude muset být ve FAT 32.