Again why an empty destructor?