Revised pull request #8