Fix for pull request #117