Unless someone is able to reproduce this bug in the next week or so, I would vote for closing this ticket.