Remove pointless empty destructor
Minor stylistic clean-up