benruijl/spl — comment on commit 91713828431d9eb4d4dec563d67b425b31e68dc1
File:  line 0
By benruijl:

Now you just circumvent the bug. The original version should work as well.