Speaking of pull requests.. I fixed the issue you opened, bnoordhuis.