Interesting, the only difference between this and the original code is the 0 highlighted in the quote above. In the original code, that's a 1. Any idea what exactly that change does?
Will try, see if it works.
Edit: Erm, yeah, I kinda... accidentally deleted my old savegame, so I don't need this anymore. Thanks anyway, though. I'm sure it'll come in handy when that bug pops up again.