Fix for #735

Fix for https://github.com/opencog/opencog/issues/735.