From pull request #42