We discussed this issue recently, but it was not written down anywhere. This is not a fix, but better then keeping quiet.