Fix for pull request #85