opencog/opencog — pull request #1156 by linas (2014-12-22 17:57:54+00:00)
Title: Merge William' #1154 pull request

My changes introduced a conflict; I just fixed that now.