Added a destructor for the HSMM