Fix pull request #82