small fix to pull request #594