You can just get "SD Card Formatter" (and instructions) from here - works very well for a 'nootered' SD Card:

http://www.sdcard.org/consumers/formatter/

I've been using it and it's just one-click to get your card back to its original state.