I'd recommend opening a Support Case through the product web site, to make sure the development team sees this and has it in their issue tracking system.
This is a peer discussion forum, and although the dev team sometimes visits here, this isn't the best forum for filing bugs.