Make pull request #1 actually work :-)