I should also mention that the comments which say that the bug was fixed were misguided as I clarified in comment 10.
I should also mention that the comments which say that the bug was fixed were misguided as I clarified in comment 10.