removed whitespace in destructor