After having fully defragged the HDD, I then compacted the files using Action/Advanced/Defrag Freespace - carefully making sure that I did NOT choose the "allow fragmentation" option. After compacting, the drive had hundreds of fragged files.
Is this a bug, or have I misunderstood something here?