opencog/opencog — pull request #406 by linas (2013-11-19 19:30:04+00:00)
Title: fix for issue #405

Actually, just a wild guess that this will fix it.