Announce implementation of pull request #7