Has this patch been reported to the developers? Is there a bug report on this somewhere?

It should be great if you could add a comment above the patches method which notes what it's fixing, with the URL to the bug report if there is one.