I don't really like this fix, but hey...
Merge pull request #557 from linas/learn

Fix rare crash during atom deletion.