minor cleanup (oops, forgotten previous commit)
Merge pull request #441 from linas/master

minor cleanup (oops, forgotten previous commit)