Thanks, I'm therefore closing this bug report.