Thank you for submitting this bug report.
The information you provided will be passed on to our software developers. If
recognized as a real issue it will be posted, together with possible
workarounds, to our list of Known Issues and will
be fixed as soon as possible.
If you provided us with your contact information, we will contact you to
update you on the progress of this particular issue.