Bugfixing

Really, virtual destructors are good way to avoid memory leaks :)