Remove virtual from destructor
It is left-over in the early design, and is not needed any more