Better SuperString destructor