Everyone should file bug reports about this - when I sent one months ago, customer support seemed to not be familiar with the problem, suggesting it hasn't been reported enough.