Ah that is unfortunate. It still was able to be fixed via ticket but most people didn't realize that I guess. I think a lot of people are afraid to file tickets because they don't want to be a bother
Well this thread actually suggests the same thing, though it is stated differently with a different reasoning, but it is the same suggestion. Please move your discussion over to that thread :)