Merge pull request #8 from FlorianDenis/master

Fixes a crash on deallocation
1.4.2 release