VhsmStorage destructor fixed