I'll do that if there is a next time. Copying the data on the card over to a computer, formatting, and copying the data back is probably better than reflashing and having to reinstall stuff.