Devel

This PR happily fixes the invalid memory access caused by double-free of history nodes as described by issue #57.