The end of the article says the bug isn't fixed, so presumably, the root cause identification was wrong?