Yes. I'm running TWRP v2.1.1 and tried without success to format the card from there as well. It seems that I'm unable to mount the card, so the format fails.
I'm going to try it again later when I'm at the PC with the card reader. This time I'm going to download and use some software designed to format the sd cards.