Uhm, actually, this seems to be a duplicate of 503421, so it was already known that the bug was not fully solved.
Uhm, actually, this seems to be a duplicate of 503421, so it was already known that the bug was not fully solved.