Fixed in the other pull request #1036