[Serephan]

So I was copying music to my 8125 via the USB cable, since I couldn't find my SD adapter for my miniSD card. I deleted a bunch of old files, but then when I looked at the space available on the storage card, it had not changed. I tried soft-resetting it, as well as taking the card out and re-inserting it while the phone was on. I also checked the "FilesToBeDeleted" folder to make sure they didn't end up there for some reason. Does anyone know what is going on and how I might be able to reclaim the space? It's a pretty significant chunk, and I'm not sure when I'll be able to find my miniSD adapter. I am also trying to avoid formatting if at all possible. Thanks!