I'm very surprised by this. I see (or assume I see) the server you used to have. Nor can I find a ticket related to this issue. I don't want to flat out say "Will not fix -- can not reproduce" but on the other hand, I can't fix it if we can't reproduce it.