Thank you for the bug repport! We will probably write back to you, saying the problem is either solved or asking you for more information.