Fix destructor-name of HashMap