opencog/opencog — pull request #855 by linas (2014-06-12 21:47:09+00:00)
Title: two missing fixes that got pushed into the wrong branch.

Whoops!