A special thanks for the patch; I’ll definitely give it a go, though I’m not sure about x86, as the bug doesn’t occur on x86

This patch should work on PPC as well, shouldn’t it?