Small fix to pull request #289